🔬 Logic in Computer Science - matmat · Scour

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

⚔️Lean Theorem

Probabilistic Linear Logic Programming with an application to Bayesian Networks computations

arxiv.org·1d

📏Linear Logic

In Praise of APL (1977)

jsoftware.com·2h·

Discuss: Hacker News

📊APL Heritage

haskellweekly.news·49s

🔗Functional Compilers

Subagents, Commands and Skills Are Converging

vivekhaldar.com·1h·

Discuss: Lobsters, Hacker News

🔐Capability Systems

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Conversation: LLMs and the what/how loop

martinfowler.com·20h

🧩WASM Components

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🔲Cellular Automata

Making a Language

thunderseethe.dev·12h

🛠Language Design

Hint-Based SMT Proof Reconstruction

arxiv.org·6h

🧮SMT Solvers

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·22h·

Discuss: DEV

🚀SIMD Parsing

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·23h

📊Static Analysis

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🧠Machine Learning

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·19h

🔗Constraint Handling

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

Show HN: Pikchr.pl – Make Pikchr diagrams using Prolog

github.com·1d·

Discuss: Hacker News

🧮Prolog Parsing

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

Kolmogorov Complexity

en.wikipedia.org·23h·

Discuss: Hacker News

🧮Kolmogorov Complexity

Loading more...